Nuprl Definition : node 4,23
tree_node(<x, y>) == tree_node(<x,y>) 
latex

Definitionstree_node(<x, y>), tree_node(x)
FDL editor aliasesnode

origin